A Functional Abstraction of Typed Invocation Contexts

In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics. In this paper, we show how this method scales to Felleisen's control and prompt operators. Compared to shift and reset, control and prompt exhibit a more dynamic behavior, in that they can manipulate a trail of contexts surrounding the invocation of previously captured continuations. Our key observation is that, by adopting a functional representation of trails in the CPS semantics, we can derive a type system that encodes all and only constraints imposed by the CPS semantics

Dialkylboryl-Substituted Cyclic Disilenes Synthesized by Desilylation-Borylation of Trimethylsilyl-Substituted Disilenes

π-Electron systems of silicon have attracted attention because of their narrow HOMO-LUMO gap and high reactivity, but the structural diversity remains limited. Herein, new dialkylboryl-substituted disilenes were synthesized by the selective desilylation-borylation of the corresponding trimethylsilyl-substituted disilenes. The dialkylboryl-substituted disilenes were fully characterized by a combination of NMR spectroscopy, MS spectrometry, single-crystal X-ray diffraction analysis, and theoretical calculations. The longest-wavelength absorption bands of boryldisilenes were bathochromically shifted compared to the corresponding silyl-substituted disilenes, indicating a substantial conjugation between π(Si=Si) and vacant 2p(B) orbitals. In the presence of 4-(dimethylamino)pyridine (DMAP), the dialkylboryl groups in the boryl-substituted disilenes were easily converted to trimethylsilyl groups, suggesting the dialkylboryl-substituted disilenes in the presence of a base serve as the surrogates of disilenyl anions (disilenides)